机译:生成相关逻辑编程语义的模式及其在论证理论中的应用
机译:基于非负最小二乘的二次规划算法及其在嵌入式模型预测控制中的应用
机译:关于凸规划的最小化收敛性及其在迭代加权最小二乘和分解方案上的应用
机译:平方跨度程序及其在简化NIZK参数中的应用
机译:公共广场上的宗教争论:对法律和民主话语理论中宗教自由的考察。
机译:医疗保健决策:偏最小二乘路径建模在新生儿筛查程序覆盖范围中的实际应用
机译:二次跨度程序和没有pCp的简洁NIZK
机译:Nonlin:非线性参数最小二乘估计的计算机程序及其应用。